Une équivalence sur les lambda- termes
نویسندگان
چکیده
منابع مشابه
Une note sur les contractions dans les polygones orthogonaux
Maire, F., Une note sur les contractions dans les polygones orthogonaux, Discrete Mathematics 111 (1993) 3677371. We define a contraction for orthogonal polygons, and show that such a polygon can be transformed into a rectangle by a sequence of contractions. This result gives a new proof of the orthogonal art gallery theorem. We present also a property of the maximal rectangles contained in ort...
متن کاملRésolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres
La mise en œuvre effective de méthodes de vérification de programmes comportant des calculs sur les nombres à virgule flottante reste encore problématique. Cela est en partie dû aux difficultés inhérentes à l’arithmétique des nombres à virgule flottante dont la pauvreté des propriétés rend souvent impossible la transposition de résultats établis sur les réels. C’est pourquoi nous présentons dan...
متن کاملMini-cours Sur Les Polynômes À Une Variable
I Opérations sur les polynômes 3 II Division euclidienne et racines 5 1 Division euclidienne de polynômes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2 Racines et factorisation de polynômes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3 Racines multiples et polynôme dérivé . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 4 Interpolation . . . . ...
متن کاملUne logique épistémique modeste basée sur les observations d’ordre supérieur
Nous présentons une logique épistémique dynamique basée sur ce qu’un agent peut observer, y compris les observations jointes et l’observation de ce que les autres observent, généralisant ainsi les logiques ECL-PC(PO) et LRC de van der Hoek, Wooldridge et al. où les variables propositionnelles que chaque agent observe sont connaissance commune. Dans notre logique, les propositions ainsi que la v...
متن کاملLa physiothérapie fondée sur les données probantes : une définition
ences in clinical decisions is a challenge. The failure to include these components in clinical decisions has commonly received much criticism. However, to build a science or a practice based on evidence, we must go beyond the narrow walls of individual patients’ values to consider all the ethical principles that should shape a fair and progressive clinical practice in contemporary society. Thu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1994
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)90012-4